Implementation of the Typed Call-by-value lambda-calculus using a Stack of Regions